Książki autorstwa Peter Dybjer

Znaleziono 1 – 4 z 4 pozycji

1. 

   Category Theory and Computer Science

   David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę
2. 

   Applied Semantics

   Gilles Barthe, Peter Dybjer, Luis Pinto | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę
3. 

   Types for Proofs and Programs

   Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 2000

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę
4. 

   Types for Proofs and Programs

   Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 1995

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 10 - 14 dni

   Język: Angielski

   Oprawa: Miękka

   58.56 €

   Kup książkę

Darmowa przesyłka dla zamówień powyżej 59.99 €. Zobacz więcej